Algorithms for finding the normal form of traces and synchronous traces.
نویسندگان
چکیده
منابع مشابه
Traces of Greek Mythology in Samuel Beckett’s Waiting for Godot
This study addresses Samuel Beckett’s most celebrated play, Waiting for Godot, in an effort to analyze its characters from a novel perspective. Since Greek mythology has been undisputedly influential on Western culture and literature, the researcher attempts to investigate a connection between Greek mythology and the play. This study aims to reveal that even after more than fifty seven years of...
متن کاملTraces and Quasi-traces on the Boutet De Monvel Algebra
We construct an analogue of Kontsevich and Vishik’s canonical trace for a class of pseudodifferential boundary value problems in Boutet de Monvel’s calculus on compact manifolds with boundary. For an operator A in the calculus (of class zero), and an auxiliary operator B, formed of the Dirichlet realization of a strongly elliptic second-order differential operator and an elliptic operator on th...
متن کاملEnhancing synchronous collaboration by using interactive visualisation of modelled traces
This article addresses issues related to traces modelling for formally describing human interactions of people engaged in a synchronous collaborative learning activity. The objective is to propose models and tools for representing, transforming, sharing and visualising traces of users’ experiences. The traces here represent the users’ activities in their interactions with the learning platform....
متن کاملEfficient and scalable merging algorithms for wireless traces
Analysis of wireless experimentation results is a complex task to achieve. As multiple probes are needed in order to get a global view of a wireless experimentation, the resulting packet traces may be very large. In this paper we propose an algorithm that performs trace synchronization and merging in a scalable way. The algorithm output is stored in a configured MYSQL database allowing for smar...
متن کاملOn generating synchronous interworkings from PSF process traces
Synchronous interworkings are a specification formalism on their own right, but might also be of help when analysing processes and process traces. In this paper the processes are specified in PSF and traces are PSF process traces. The main part of this paper is concerned with the definition of the notions needed to perform the generation of interworkings from traces and the conditions under whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science and Cybernetics
سال: 2012
ISSN: 1813-9663,1813-9663
DOI: 10.15625/1813-9663/17/1/2432